"T. F. Melham" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Higher Order Logic and Hardware Verification (Cambridge Tracts in Theoretical Computer Science (No. 31))

T. F. Melham

3.38 Mb

#2

Theorem Proving in Higher Order Logics, 18 conf., TPHOLs 2005

Joe Hurd, Tom Melham

Категория: Cs_Computer science, CsLn_Lecture notes

3.25 Mb

#3

Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings: ... 7th

Thomas F. Melham, Juanito Camilleri

4.12 Mb

#4

Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic

M. J. C. Gordon, T. F. Melham

3.06 Mb

#5

Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September ...

Tiziana Margaria, Tom Melham

3.98 Mb